/* web/extensions/colormap/colormap.min.css (web/extensions/colormap/colormap.css = Tue Dec 19 09:10:43 2017) */